Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS
نویسندگان
چکیده
Legal Knowledge Management – Chair Ugo Pagallo • 17.00-17.20 Daniela Tiscornia, Tommaso Agnoloni and Maria Teresa Sagri. Balancing rights and values in the Italian Courts (FULL) • 17.25-17.45 Radboud Winkels and Jelle Ruyter. Survival of the fittest: Network Analysis of Dutch Supreme Court Cases (FULL) • 17.50-18.10 Guido Boella, Llio Humphreys, Marco Martin, Piercarlo Rossi and Leendert Van Der Torre. Eunomos, a legal document and knowledge management system to build legal services (FULL) • 18.15-18.25 Enrico Francesconi. Axioms on a Semantic Model for Legislation for Accessing and Reasoning over Norms (SHORT)
منابع مشابه
Representations of Time within Normative MAS
We address some forms of temporal reasoning within normative MAS, focusing on the combination of temporal logics with multi-modal multi-agent logics. We suggest perspectives on how these combinations can be used for modelling aspects of time within lawful provisions, obligations, and legal principles. The main contributions are the new variant of deontic tense logic using hybrid logic, and the ...
متن کاملNon-monotonic reasoning with normative conflicts in multi-agent deontic logic
We present proof-theoretical and semantical characterizations of two multi-agent deontic logics for dealing with normative conflicts. The resulting logics PMDL and PMDL are non-standard in at least two respects. First, they are nonclassical in the sense that they invalidate some inferences of the propositional fragment of Classical Logic (CL). Consequently, they also invalidate certain inferenc...
متن کاملSocial Computing , Social Cognition , Social Networks and Multiagent Systems
Lately, many multi-agent systems (MAS) are designed as multi-modal systems [9, 15, 23, 22, 26, 28, 18]. Moreover, there are different techniques for combining logics, such as products, fibring, fusion, and modalisation, among others [1, 14, 16]. In this paper we focus on the combination of special-purpose logics for building “on demand” MAS. From these engineering point of view, among the most ...
متن کاملDecidability via Filtration of Neighbourhood Models for Multi-Agent Systems
Lately, many multi-agent systems (MAS) are designed as multi-modal systems [9, 15, 23, 22, 26, 28, 18]. Moreover, there are different techniques for combining logics, such as products, fibring, fusion, and modalisation, among others [1, 14, 16]. In this paper we focus on the combination of special-purpose logics for building “on demand” MAS. From these engineering point of view, among the most ...
متن کاملOn Nested Sequents for Constructive Modal Logics
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011